An algebraic extension of the Lax-Milgram theorem
نویسندگان
چکیده
منابع مشابه
An extension of the Wedderburn-Artin Theorem
In this paper we give conditions under which a ring is isomorphic to a structural matrix ring over a division ring.
متن کاملAn Algebraic Extension of the Macmahon Master Theorem
We present a new algebraic extension of the classical MacMahon Master Theorem. The basis of our extension is the Koszul duality for non-quadratic algebras defined by Berger. Combinatorial implications are also discussed.
متن کاملThe Lax-Milgram Theorem. A detailed proof to be formalized in Coq
To guarantee the correction of numerical simulation programs implementing the fi-nite element method, it is necessary to formalize the mathematical notions and results that allowto establish the soundness of the method. The Lax-Milgram theorem is one of those theoreticalcornerstones: under some completeness and coercivity assumptions, it states existence and unique-ness of the s...
متن کاملAn Algebraic Annulus Theorem
This result has also been proved by Bowditch [2], using very different methods. We discuss these differences at the end of this introduction. The terminology used is standard (from [11] and [17]). The importance of splitting groups along infinite cyclic subgroups is well known from the work of Paulin [13], Rips and Sela [14] and Sela [18]. If G has an infinite cyclic subgroup H such that e(G,H)...
متن کاملAn Extension of the Theorem on Primitive Divisors in Algebraic Number Fields
The theorem about primitive divisors in algebraic number fields is generalized in the following manner. Let A, B be algebraic integers, (A, B) = 1 , AB ^ 0, A/B not a root of unity, and Çk a primitive root of unity of order k . For all sufficiently large n , the number A" C,kB" has a prime ideal factor that does not divide Am £,'kBm for arbitrary m < n and j < k . The analogue of Zsigmondy's th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Pacific Journal of Mathematics
سال: 1980
ISSN: 0030-8730,0030-8730
DOI: 10.2140/pjm.1980.86.543